|
In mathematics, integrals of inverse functions can be computed by means of a formula that expresses the antiderivatives of the inverse of a continuous and invertible function , in terms of and an antiderivative of . This formula was published in 1905 by Charles-Ange Laisant. ==Statement of the theorem== Let and be two intervals of . Assume that is a continuous and invertible function, and let denote its inverse . Then and have antiderivatives, and if is an antiderivative of , the possible antiderivatives of are: : where is an arbitrary real number. In his 1905 article, Laisant gave three proofs. First, under the additional hypothesis that is differentiable, one may differentiate the above formula, which completes the proof immediately. His second proof was geometric. If and , the theorem can be written: : The figure on the right is a proof without words of this formula. Laisant does not discuss the hypotheses necessary to make this proof rigorous, but it can be made explicit with the help of the Darboux integral〔 (or Fubini's theorem if a demonstration based on the Lebesgue integral is desired). Laisant's third proof uses the additional hypothesis that is differentiable. Beginning with , one multiplies by and integrates both sides. The right-hand side is calculated using integration by parts to be , and the formula follows. Nevertheless, it can be shown that this theorem holds even if or is not differentiable:〔〔 it suffices, for example, to use the Stieltjes integral in the previous argument. On the other hand, even though general monotonic functions are differentiable almost everywhere, the proof of the general formula does not follow, unless is absolutely continuous.〔 It is also possible to check that for every in , the derivative of the function is equal to .〔This very simple proof of the general theorem, the only one that does not make use of integrals, was communicated by the French mathematician and Wikipedian Anne Bauval in the corresponding pages in French. It seems to have escaped the persons who published proofs of this result.〕 In other words: : To this end, it suffices to apply the mean value theorem to between and , taking into account that is monotonic. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Integral of inverse functions」の詳細全文を読む スポンサード リンク
|